منابع مشابه
Théorèmes limites pour les processus de Markov à sauts
RÉSUMÉ. Les processus de Markov à sauts permettent la modélisation des phénomènes stochastiques en biologie moléculaire. Néanmoins, il y a peu de résultats mathématiques sur la dynamique de ces processus. De plus, leur simulation sur ordinateur rencontre des difficultés dues au temps d’exécution. Nous présentons des résultats permettant de réduire la complexité de la dynamique stochastique. Ces...
متن کاملLe groupe PIN : lieu d'échange, lieu de réflexion, lieu d'action
L’enjeu est capital car d’une part, la quasi-totalité de l’information créée, gérée, transmise, stockée dans notre société l'est aujourd’hui sous forme numérique et d’autre part, la force probante reconnue par la loi à l’écrit électronique, va permettre de se passer entièrement du support papier.. Ne pas être en mesure de préserver convenablement et durablement cette information conduirait à un...
متن کاملEléments de réflexion sur l'utilisation de corpus pour la construction d'ontologies
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کامل[Réflexion sur la médecine familiale].
Dernièrement, j’ai assisté à une séance dans le cadre du 24e Cours annuel de médecine en régions rurales et éloignées présenté par la Société de la Médecine Rurale du Canada, à Charlevoix (Québec), où le Dr Louis Francescutti a éloquemment présenté une plénière sur la prestation de soins palliatifs de haute qualité aux patients. Lors de la séance, il a lancé aux participants le défi de réfléchi...
متن کاملLe contenu computationnel des preuves: No-counterexample interpretation et spécification des théorèmes de l’arithmétique
Le contenu computationnel des preuves : No-counterexample interpretation et spécification des théorèmes de l'arithmétique mémoire sous la direction de Jean-Louis Krivine par Denis Bonnay septembre 2002 D.E.A. logique et fondements de l'informatique Université Paris VII 1 Contents 1 La preuve de consistance d'Ackermann 4 2 Que nous apporte la preuve d'un théorème, en plus du simple fait de savoi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal de Théorie des Nombres de Bordeaux
سال: 1998
ISSN: 1246-7405
DOI: 10.5802/jtnb.234